int indx = 7;
	for (/*indx is already initialized*/; indx < 20; ++indx) {
}